class TEST
feature
    make alias "[]" (a : INTEGER):INTEGER 
    do
      RESULT:=4
    end
    make2 alias "[]:=" (a,b : INTEGER): VOID
    do
    end
end